Playing Counter Programming with Shira